Consequence Reasoning in Multilevel Flow Modelling
نویسندگان
چکیده
منابع مشابه
Consequence Reasoning in Multilevel Flow Modelling
Consequence reasoning is a major element for operation support system to assess the plant situations. The purpose of this paper is to elaborate how Multilevel Flow Models can be used to reason about consequences of disturbances in complex engineering systems. MFM is a modelling methodology for representing process knowledge for complex systems. It represents the system by using means-end and pa...
متن کاملFuzzy consequence modelling of hydrocarbon offshore pipeline
The traditional event tree analysis uses a single probability to represent each top event. However, it is unrealistic to evaluate the occurrence of each event by using a crisp value without considering the inherent uncertainty and imprecision a state has. The fuzzy set theory is universally applied to deal with this kind of phenomena. The main purpose of this study is to construct an easy metho...
متن کاملOn consequence in approximate reasoning
The purpose of this paper is to explore the notion of consequence in Approximate Reasoning. While logical consequence has an standard (semantic and syntactic) definition in Exact Logic, several different definitions of that concept can be considered in the Approximate Reasoning framework. In this paper some definitions are compared with consequences derived from inference methods used in Artifi...
متن کاملNormative Reasoning and Consequence
In this chapter we first provide a general introduction to the research area methodology and relevance, then we discuss normative reasoning for multi-agent systems, and finally we discuss current research challenges. We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our intended audience. To e...
متن کاملConsequence-Based Reasoning for SHIQ
We propose a novel consequence-based algorithm for TBox reasoning in SHIQ. This work is at very early stage: we have no experimental results and we have not even proved completeness. Instead, we focus on explaining the intuitions behind the algorithm, and show that it has all the favorable properties of existing consequence-based algorithms, namely optimal worst-case complexity, one-pass classi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2013
ISSN: 1474-6670
DOI: 10.3182/20130811-5-us-2037.00028